English translation for "logic language"

逻辑语言

Related Translations:

active logic:  有源逻辑

contention logic:  争用逻辑

core logic:  磁心逻辑

hardware logic:  硬件逻辑

logic trainer:  逻辑教练设备逻辑示教机

overflow logic:  溢出逻辑溢位逻辑

logic base:  逻辑代数基础逻辑基逻辑数据库

logic polarity:  逻辑极化

logic restraint:  逻辑限制

set logic:  置位逻辑

Example Sentences:

	1.	Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model 首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。
	2.	The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language 界限主体的确立，既解决了主体的“体”带来的一系列问题，同时又为主体在逻辑语言的层面上找到了一种合理的存在形式。
	3.	In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols 在本文中，作者主要介绍了用于分析密码协议的三种逻辑语言，研究了它们的优缺点，然后结合其优点，提出了一种新的用于分析电子商务协议的形式化逻辑语言。
	4.	( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language ( 2 )为验证算法的有效性，该文设计实现了一个测试平台? ?基于sqlserver的规则处理器，其主要功能为自动把一阶逻辑规则转换为含有sql语句的过程代码，这使得sqlserver数据库管理系统有了用逻辑数据语言表示递归查询的能力。
	5.	Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language 接着指出数学语言是进行数学交流活动的重要工具，参考前人的成果，对数学语言重新进行分类，可分为：文字语言，符号语言，图形语言，图表语言，逻辑语言。
	6.	We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy 由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyz e作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。
	7.	We generalize the notion of information tables to ordered information tables by adding order relations on attribute values . a data analysis method is thus proposed to describe properties of ordered information tables . we define the concepts of reduct and core etc . by analyzing the attribute dependency in ordered information tables ; the thesis also proposes and formalizes the problem of mining ordering rules , designs the ordered decision logic language ( odl - language ) , and gives a solution for mining ordering rules 从数据挖掘的角度考虑对象排序问题，通过引进属性值上的有序关系，作者扩充了常见的属性值方法，提出了有序信息表的形式化概念，进而提出了一个有序信息表上的数据分析方法，通过分析有序信息表中的属性依赖，定义了有序信息表的约简集和核的概念；作者还提出和形式化了有序信息表中挖掘有序规则的问题，设计了有序决策逻辑语言( odl ) ，并给出了一个挖掘有序规则的方法。

Similar Words：

"logic interface unit" English translation, "logic interfacing" English translation, "logic interrupt" English translation, "logic inverter" English translation, "logic judgment" English translation, "logic learning" English translation, "logic level" English translation, "logic level band" English translation, "logic level indicator" English translation, "logic level translator" English translation